sum_{k=1}^n k